Real Time Properties for Interrupt Timed Automata

机译：中断定时自动机的实时属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. On Generating Realtime Programs with Runtime Checking From Timed Automata to Realtime Programs on Non-Realtime Environments [J] . Ilankaikone SENTHOORAN, Julian PROKAY, Takuo WATANABE 電子情報通信学会技術研究報告. 知能ソフトウェア工学. Knowledge-Based Software Engineering . 2011,第169期

机译：关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
2. On Generating Realtime Programs with Runtime Checking From Timed Automata to Realtime Programs on Non-Realtime Environments [J] . Ilankaikone SENTHOORAN, Julian PROKAY, Takuo WATANABE 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2011,第168期

机译：关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
3. On Generating Realtime Programs with Runtime Checking From Timed Automata to Realtime Programs on Non-Realtime Environments [J] . Ilankaikone SENTHOORAN, Julian PROKAY, Takuo WATANABE 電子情報通信学会技術研究報告 . 2011,第169期

机译：关于在非实时环境中从定时自动机到实时程序的运行时检查生成实时程序
4. Real Time Properties for Interrupt Timed Automata [C] . Berard Beatrice, Haddad Serge, Sassolas Mathieu 17th International Symposium on Temporal Representation and Reasoning . 2010

机译：中断定时自动机的实时属性
5. An interrupted time series analysis of the state college nuisance property ordinance and an assessment of rental property managers as place manager/intimate handler of offender. [D] . Koehle, Gregory M. 2011

机译：对州立大学讨厌的财产条例进行了时间序列分析，并对作为罪犯的场所经理/亲密经理的出租物业经理进行了评估。
6. Correction: Real-Time Predictions of Reservoir Size and Rebound Time during Antiretroviral Therapy Interruption Trials for HIV [O] . Alison L. Hill, Daniel I. S. Rosenbloom, Edward Goldstein, 2017

机译：更正：针对HIV的抗逆转录病毒治疗中断试验期间储层大小和回弹时间的实时预测
7. Real Time Properties for Interrupt Timed Automata [O] . Béatrice Bérard , Serge Haddad , Mathieu Sassolas 2013

机译：中断定时自动机的实时属性

Real Time Properties for Interrupt Timed Automata

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅